#!/bin/bash
# local machine test
./shardkv_server -port=9012 -peers=:9013,:9014 -masters=:10001 -gid=901&
./shardkv_server -port=9013 -peers=:9012,:9014 -masters=:10001 -gid=901&
./shardkv_server -port=9014 -peers=:9012,:9013 -masters=:10001 -gid=901&
